Knowledge inference for optimizing and enforcing secure computations
نویسندگان
چکیده
We present several techniques that aim to compute the belief or knowledge a party might have about the values of hidden variables involved in the computation. These techniques can be used for enforcing knowledge-based security policies and for optimizing secure multiparty computations.
منابع مشابه
Self-enforcing Private Inference Control
Private inference control enables simultaneous enforcement of inference control and protection of users’ query privacy. Private inference control is a useful tool for database applications, especially when users are increasingly concerned about individual privacy nowadays. However, protection of query privacy on top of inference control is a double-edged sword: without letting the database serv...
متن کاملEnforcing Declarative Policieswith Targeted Program Synthesis
We present a technique for static enforcement of declarative information flow policies. Given a program that manipulates sensitive data and a set of declarative policies on the data, our technique automatically inserts policy-enforcing code throughout the program to make it provably secure with respect to the policies. We achieve this through a new approach we call targeted program synthesis, w...
متن کاملOptimizing Hydro Power Turbines in Order to Secure the Passage of Fishes in Khuzestan province
Nowadays, it is important to consider environmental issues, as ecological problems and their severe effects are intensifying in Iran, particularly in Khuzestan province. The environmental effects of hydroelectric plants are highly regarded due to their significant impact on an extensive area. Lack of safe path for fish passing through the turbines is one of these damages. In order to deal with ...
متن کاملA Model for Evaluating Knowledge Sharing Using Fuzzy Inference System (Case Study: Tehran Municipality ICT Organization)
The present paper aimed at developing an approach based on Fuzzy Inference System (FIS) for measuring of knowledge sharing in the organization. In recent years there has been increasing interest in the knowledge sharing by experts and managers in the world, according to increasing importance of knowledge as the key source of competitive advantage, organizations have made serious effort to find ...
متن کاملOptimizing Secure Statistical Computations with PICCO
Growth in research collaboration has caused an increased need for sharing of data. However, when this data is private, there is also an increased need for maintaining security and privacy. Secure multi-party computation enables any function to be securely evaluated over private data without revealing any unintended data. A number of tools and compilers have been recently developed to support ev...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013